Do psychological traits predict philosophical views? We administered the PhilPapers Survey, created by David Bourget and David Chalmers, which consists of 30 views on central philosophical topics (e.g., epistemology, ethics, metaphysics, philosophy of mind, and philosophy of language) to a sample of professional philosophers (N = 314). We extended the PhilPapers survey to measure a number of psychological traits, such as personality, numeracy, well-being, lifestyle, and life experiences. We also included non-technical ‘translations’ of these views for eventual use in other (...) populations. We found limited to no support for the notion that personality or demographics predict philosophical views. We did, however, find that some psychological traits were predictive of philosophical views, even after strict correction for multiple comparisons. Findings include: higher interest in numeracy predicted physicalism, naturalism, and consequentialism; lower levels of well-being and higher levels of mental illness predicted hard determinism; using substances such as psychedelics and marijuana predicted non-realist and subjectivist views of morality and aesthetics; having had a transformative or self-transcendent experience predicted theism and idealism. We discuss whether or not these empirical results have philosophical implications, while noting that 68% of our sample of professional philosophers indicated that such findings would indeed have philosophical value. (shrink)

A general insight of 20th-century philosophy of science is that the acceptance of a scientific theory is grounded, not merely on a theory's relation to data, but on its status as having no, or being superior to its, competitors. I explore the ways in which scientific realists might be thought to utilise this insight, have in fact utilised it, and can legitimately utilise it. In more detail, I point out that, barring a natural but mistaken characterisation of scientific realism, traditional (...) realism has not utilised that insight regarding scientific theories, i.e., has not explicitly factored that insight into, and invoked it as justification for, what realists believe. Nonetheless, a new form of realism has. In response to a key historical threat, two of the most thoroughly developed contemporary versions of realism—one put forward by Jarrett Leplin, another by Stathis Psillos—are anchored on the sensible tactic of requiring that the theories to which realists commit themselves have no competitors. I argue, however, that the particular kind of non-competitor condition they invoke is illegitimate in the context of the realism debate. I contend further that invoking a non-competitor condition that is legitimate, sensible, and even, as it turns out, required in the context of the debate threatens to eliminate the possibility of scientific realism altogether. (shrink)

This chapter defends a view of semantics on which developing a semantic theory closely resembles developing a scale of measurement. The view helps explain how semantics has made so much progress despite deep disagreements about the target of semantic theorizing (e.g., between those who maintain that semantics is characterizing something psychological, and those who maintain that it is characterizing something social), how appeals to set-theoretic abstracta make sense despite Benacerraf-style worries and despite the fact that set-theoretic entities fit badly with (...) standard (e.g., causal) metasemantic views, and why the threat of radical context sensitivity does not undermine the semantic project. (shrink)

In this paper I distinguish between two kinds of meta-hypotheses, or hypotheses about science, at issue in the scientific realism debate. The first are descriptive empirical hypotheses regarding the nature of scientific inquiry. The second are epistemological theories about what individuals should / can justifiably believe about scientific theories. Favoring the realist Type-D meta-hypotheses, I argue that a particular set of realist and non-realist efforts in the debate over Type-E’s have been valuable in the quest to describe and understand the (...) nature of scientific inquiry. For the realism debate itself has inadvertently and indirectly laid the foundations for an important kind of Type-D meta-hypothesis, one regarding creativity in the history of science—which, in turn, is relevant to refining our descriptions of inference. After illustrating this result with regard to the historical argument against realism, I suggest that these empirically attained meta-hypotheses pertaining to scientific creativity can, in turn, be made methodologically prescriptive. (shrink)

Quantities like mass and temperature are properties that come in degrees. And those degrees (e.g. 5 kg) are properties that are called the magnitudes of the quantities. Some philosophers (e.g., Byrne 2003; Byrne & Hilbert 2003; Schroer 2010) talk about magnitudes of phenomenal qualities as if some of our phenomenal qualities are quantities. The goal of this essay is to explore the anti-physicalist implication of this apparently innocent way of conceptualizing phenomenal quantities. I will first argue for a metaphysical thesis (...) about the nature of magnitudes based on Yablo’s proportionality requirement of causation. Then, I will show that, if some phenomenal qualities are indeed quantities, there can be no demonstrative concepts about some of our phenomenal feelings. That presents a significant restriction on the way physicalists can account for the epistemic gap between the phenomenal and the physical. I’ll illustrate the restriction by showing how that rules out a popular physicalist response to the Knowledge Argument. (shrink)

Context — Children and adults with psychopathic traits and conduct or oppositional defiant disorder demonstrate poor decision making and are impaired in reversal learning. However, the neural basis of this impairment has not previously been investigated. Furthermore, despite high comorbidity of psychopathic traits and attention deficit/hyperactivity disorder, to our knowledge, no research has attempted to distinguish neural correlates of childhood psychopathic traits and attention-deficit/hyperactivity disorder. Objective—To determine the neural regions that underlie the reversal learning impairments in children with psychopathic traits (...) plus conduct or oppositional defiant disorder. Design — Case-control study. Setting — Government clinical research institute. Participants — Forty-two adolescents aged 10 to 17 years: 14 with psychopathic traits and oppositional defiant disorder or conduct disorder, 14 with attention-deficit/hyperactivity disorder only, and 14 healthy controls. Main Outcome Measure — Blood oxygenation level–dependent signal as measured via functional magnetic resonance imaging during a probabilistic reversal task. Results — Children with psychopathic traits showed abnormal responses within the ventromedial prefrontal cortex (Brodmann area 10) during punished reversal errors compared with children wit hattention deficit/hyperactivity disorder and healthy children (P < .05 corrected for multiple comparisons). Conclusions — To our knowledge, this study provides the first evidence of abnormal ventromedial prefrontal cortex responsiveness in children with psychopathic traits and demonstrates this dysfunction was not attributable to comorbid attention-deficit/hyperactivity disorder. These findings suggest that reversal learning impairments in patients with developmental psychopathic traits relate to abnormal processing of reinforcement information. (shrink)

Abstract: In Vacco v. Quill, 521 U.S. 793 (1997), the Supreme Court for the first time in American case law explicitly applied the principle of double effect to reject an equal protection claim to physician-assisted suicide. Double effect, traced historically to Thomas Aquinas, proposes that under certain circumstances it is permissible unintentionally to cause foreseen evil effects that would not be permissible to cause intentionally. The court rejected the constitutional claim on the basis of a distinction marked out by the (...) principle, i.e., between directly intending the death of a terminally ill patient as opposed to merely foreseeing that death as a consequence of medical treatment. The Court held that the distinction comports with fundamental legal principles of causation and intent. Id. at 802. -/- Critics allege that the principle itself is intrinsically flawed and that, in any event, its employment in Vacco is without legal precedent. I argue in response to contemporary objections that double effect is a valid principle of ethical reflection (Part II); claims to the contrary notwithstanding, double effect analysis is a pervasive, albeit generally unacknowledged principle employed regularly in American case law (Part III); and drawing on the preceding two sections, Vacco's application of the principle of double effect is appropriate (Part IV). -/- My conclusion is that [o]peration of some form of the principle, by whatever name, is inevitable. In an imperfect world where duties and interests collide, the possibility of choices of action foreseen to have both good and evil consequences cannot be avoided. In rare circumstances, ethics and the law require that a person refrain from acting altogether. More often, however, they provide that a determination of whether an actor may pursue a good effect although knowing it will or may unintentionally cause an harmful effect requires a more complex analysis - a double effect analysis. -/- Keywords: Equal protection, double effect, intention, physician-assisted suicide, Constitutional Law, Bioethics. (shrink)

Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...) of nested sequents, referred to as "coloring," which consists of taking a formula as input, guessing a certain coloring of its subformulae, and then running proof-search in a nested sequent calculus on the colored input. Our technique lets us decide the validity of standpoint formulae in CoNP since proof-search only produces a partial proof relative to each permitted coloring of the input. We show how all partial proofs can be fused together to construct a complete proof when the input is valid, and how certain partial proofs can be transformed into a counter-model when the input is invalid. These "certificates" (i.e. proofs and counter-models) serve as explanations of the (in)validity of the input. (shrink)

Ambivalence is most naturally characterized as a case of conflicting desires. In most cases, an agent’s intrinsic desires conflict contingently: there is some possible world in which both desires would be satisfied. This paper argues, though, that there are cases in which intrinsic desires necessarily conflict—i.e., the desires are not jointly satisfiable in any possible world. Desiring a challenge for its own sake is a paradigm case of such a desire. Ambivalence of this sort in an agent’s desires creates special (...) problems for the project of reducing all facts about an agent’s desires to facts about his or her preferences over options. If this reductive project fails, there is reason to suspect that the Decision Theory cannot give us a complete theory of Humean rationality. (shrink)

Review: J. E. Wolff. The metaphysics of quantity. New York: Oxford University Press, 2020. 240 pp, $72.00 HB.

Raftopoulos’s most recent book argues, among other things, for the cognitive impenetrability of early vision. Before we can assess any such claims, we need to know what’s meant by “early vision” and by “cognitive penetration”. In this contribution to this book symposium, I explore several different things that one might mean – indeed, that Raftopoulos might mean – by these terms. I argue that whatever criterion we choose for delineating early vision, we need a single criterion, not a mishmash of (...) distinct criteria. And I argue against defining cognitive penetration in partly epistemological terms, although it is fine to offer epistemological considerations in defending some definitions as capturing something of independent interest. Finally, I raise some questions about how we are to understand the “directness” of certain putative cognitive influences on perception and about whether there’s a decent rationale for restricting directness in the way that Raftopoulos apparently does. (shrink)

Søren Kierkegaard is well-known as an original philosophical thinker, but less known is his reliance upon and development of the Christian tradition of the Seven Deadly Sins, in particular the vice of acedia, or sloth. As acedia has enjoyed renewed interest in the past century or so, commentators have attempted to pin down one or another Kierkegaardian concept (e.g., despair, heavy-mindedness, boredom, etc.) as the embodiment of the vice, but these attempts have yet to achieve any consensus. In our estimation, (...) the complicated reality is that, in using slightly different but related concepts, Kierkegaard is providing a unique look at acedia as it manifests differently at different stages on life’s way. Thus, on this “perspectival account”, acedia will manifest differently according to whether an individual inhabits the aesthetic, ethical, or religious sphere. We propose two axes for this perspectival account. Such descriptions of how acedia manifests make up the first, phenomenal axis, while the second, evaluative axis, accounts for the various bits of advice and wisdom we read in the diagnoses of acedia from one Kierkegaardian pseudonym to another. Our aim is to show that Kierkegaard was not only familiar with the concept of acedia, but his contributions helped to develop and extend the tradition. (shrink)

Derek Parfit argues that fission is prudentially better for you than ordinary death. But is having more fission products with good lives prudentially better for you than having just one? In this paper, we argue that it is. We argue that, if your brain is split and the halves are transplanted into two recipients (who both have good lives), then it is prudentially better for you if both transplants succeed than if only one of them does (other things being (...) equal). This upshot rules out, among other things, that the prudential value of standing in the relation that matters in survival to multiple people is equal to their average well-being. (shrink)

Derek Parfit’s argument against the platitude that identity is what matters in survival does not work given his intended reading of the platitude, namely, that what matters in survival to some future time is being identical with someone who is alive at that time. I develop Parfit’s argument so that it works against the platitude on this intended reading.

My aim in this paper is to critically assess the idea that reasons for action are provided by desires (the Desire-based Reasons Model or the Model). I start from the claim that the most often employed meta-ethical background for the Model is ethical naturalism; I then consider attempts to argue against the Model through its naturalism. I make use of two objections that are both intended to refute naturalism per se. One is the indirect version of G. E. Moore’s Open (...) Question Argument (OQA), the other is Derek Parfit’s more recent Triviality Objection (TO). I show that naturalists might be able to avoid both objections in case the reduction they propose is tolerable. This, however, means that in order to see if the objections work, we must analyze the particular reductions proposed. Hence, though not knock down arguments as they were intended to be, the indirect OQA and TO may pose threat to the Model. (shrink)

The aim of the paper is to critically assess the idea that reasons for action are provided by desires (the Model). I start from the claim that the most often employed meta-ethical background for the Model is ethical naturalism; I then argue against the Model through its naturalist background. For the latter purpose I make use of two objections that are both intended to refute naturalism per se. One is G. E. Moore’s Open Question Argument (OQA), the other is (...) class='Hi'>Derek Parfit’s Triviality Objection (TO). I show that naturalists might be able to avoid both objections in case they can vindicate the reduction proposed. This, however, leads to further conditions whose fulfillment is necessary for the success of vindication. I deal with one such condition, which I borrow from Peter Railton and Mark Schroeder: the demand that naturalist reductions must be tolerably revisionist. In the remainder of the paper I argue that the most influential versions of the Model are intolerably revisionist. The first problem concerns the picture of reasons many recent formulations of the Model advocate. By using an objection from Michael Bedke I show that on this interpretation obvious reasons won’t be accounted for by the Model. The second problem concerns idealization that is also often part of the Model. Invoking an argument by Connie Rosati, I show that the best form of idealization, the ideal advisor account, is inadequate. Hence, though not knock down arguments as they were intended to be, OQA and TO do pose a serious threat to the Model. (shrink)

Several non-naturalist philosophers look for ways to maintain the objectivity of morals without making any ontological commitments. Recently Derek Parfit proposed an account of non-ontologically existing irreducible moral properties. My first aim in this paper is to outline that such an account is doomed to fail. My second aim in this paper is to argue that irreducible moral properties can be integrated with adaptions into an ontological framework such as E.J. Lowe’s four-category ontology. If it can be shown that (...) irreducible moral properties have a proper place in such an ontology, then there is no need to distinguish between an ontological and non-ontological mode of existence, which, in turn helps to eschew the obscurities that this distinction brings in its wake. (shrink)

Antes de entrar cuidadosamente no estudo de cada filósofo, em suas respectivas ordens cronológicas, é necessário dar um panorama geral sobre eles, permitindo, de relance, a localização deles em tempos históricos e a associação de seus nomes com sua teoria ou tema central. l. OS FILÓSOFOS PRÉ-SOCRÁTICOS - No sétimo século antes de Jesus Cristo, nasce o primeiro filósofo grego: Tales de Mileto2 . Ele e os seguintes filósofos jônicos (Anaximandro: Ἀναξίμανδρος: 3 610-546 a.C.) e Anaxímenes: (Άναξιμένης: 586-524 a.C.) tentaram (...) expressar/elucidar o que é a arché, ou constitutivo fundamental do Universo. 4 Também sobressaem as teorias de Pitágoras (Ὁ Πυθαγόρας: 570 a.C.- 495 a.C.), completas de misticismo e Matemática; a de Heráclito (Ἡράκλειτος ὁ Ἐφέσιος: 540-470 a.C.), o filósofo do devir e o de seu oponente, Parmênides (Παρμενίδης: 530-460 a.C.), que elucida a primeira teoria do ser, e para qual é alcunhado como o iniciador da Metafísica. Anaxágoras (Ἀναξαγόρας: 500 a.C.- 428 a.C.) esboça uma teoria sobre o Nous, o espírito divino. Por outro lado, Demócrito (Δημόκριτος: Grécia: 460-370 a.C.) e Empédocles (Ἐμπεδοκλῆς: 490 a.C.-430 a.C.) insistem no materialismo. Em contrapartida, os sofistas (Parmênides, Cálicles (Καλλικλῆς: personagem platônico cuja existência é duvidosa) e Górgias (Γοργίας: 485 a.C.-380 a.C.)) gozam das suas aptidões à dialética, e colocam o relativismo como uma posição filosófica. Sócrates será o inimigo mais temível dessa posição. Este é o começo do movimento filosófico de Atenas, que culmina nos séculos quinto e quarto, tal qual, posteriormente, veremos. 2. O APOGEU GREGO – Sócrates (Σωκράτης: 469 a.C.-399 a.C.), Platão (Πλάτων: 428/427- 348/347 a.C.) e Aristóteles (Ἀριστοτέλης: 384 a.C.-322 a.C.) formam o triunvirato dos grandes filósofos gregos. O primeiro (Sócrates), com seu método "maiêutico" e sua teoria do conceito; o segundo (Platão), com sua teoria das ideias e seu estilo literário (dialogista); e o terceiro (Aristóteles), com a estruturação dos principais ramos filosóficos, como a Lógica, a Metafísica, a Ética, a Psicologia racional e a Política; todos eles elevaram a Filosofia para um posto de primeira ordem. Doravante, todos os filósofos tornam-se credores das contribuições desses gênios. Em certos autores, é clara a influência de Platão ou de Aristóteles. Sendo que, ambos os filósofos, tiveram influência absoluta de Sócrates, uma vez que Platão fora seu discípulo, e Aristóteles discípulo de Platão. A Idade Média, por exemplo, foi toda ela, em sua gênese e desenvolvimento, alicerçada no pensamento e nas ideias platônicas; tal era histórica é caracterizada pela luta em favor de um ou de outro autor; o platonismo tomou precedência nos primeiros séculos do cristianismo; somente após o décimo século Aristóteles foi redescoberto. 3. A FILOSOFIA CRISTÃ MEDIEVAL - Santo Agostinho (354 a.C.-430 a.C.) se destaca, no quinto século, com sua teoria da iluminação e a aplicação da teoria platônica ao Cristianismo. No século XIII, São Tomás de Aquino (1225-1274), sintetiza Aristóteles com o Cristianismo. Os dois autores formam o núcleo da filosofia cristã em seus respectivos séculos. A escolástica teve seu tempo de decadência. Se mencionam, principalmente, dois autores: João Duns Escoto (1266-1308) e Guilherme de Ockham (1285-1347). O primeiro é o "Doutor Sutil ", e o segundo cai em um fideísmo e um nominalismo, para todos os conceitos criticáveis. Em uma segunda parte, tentaremos explicar os respectivos pensamentos dos autores mencionados, e outros que pertencem ao mesmo tempo, antigos e medievais. Naquela época, a Filosofia era puramente realista, aplicada ao mundo e ao homem. Somente na Idade Moderna, a Filosofia assumirá o problema do conhecimento como a base e o começo de todo filosofar. 4. A FILOSOFIA RACIONALISTA (MODERNA) - Na Idade Moderna, sobressai o racionalismo de Descartes (1596-1650) prolongado, então, com Malebranche (1638-1715) (ocasionalismo), Espinosa (1632 -1677) (panteísmo) e Leibniz (1646-1716) (teoria das mônadas). Estamos nos séculos XVII e XVIII. A atenção será focada nas disputas filosóficas da corrente empirista contra a racionalista. 5. A FILOSOFIA EMPIRISTA – O empirismo é florescido, principalmente, na Inglaterra. Francis Bacon (1561-1626), primeiro, e depois Locke (1632-1704) com sua rejeição de ideias inatas, Berkeley (1685-1753) com postura e ideias paradoxais, também idealistas e Hume (1711-1776), com suas famosas críticas contra o princípio da causalidade e o conceito de substância, são os principais autores. 6. KANT E OS IDEALISTAS ALEMÃES - Como a tentativa de sintetizar o racionalismo e empirismo, está a teoria de Kant (1724-1804), no século XVIII. Para o seu gênio seguido pelos três idealistas alemães mais importantes: Fichte (1762-1814) (idealismo subjetivo), Schelling (1775-1854) (idealismo objetivo) e Hegel (1770-1831) (idealismo absoluto). Esses Autores representam o ápice da especulação filosófica. A análise, a profundidade, a complexidade da expressão e o espírito sistemático são as características do gênio alemão idealista. 7. OS FILÓSOFOS DO SÉCULO XIX - Antes de tudo, é necessário mencionar, no século dezenove, aos dois grandes críticos de Hegel, que são Kierkegaard (1813-1855) (precursor do existencialismo) e Marx (1818-1883) (com seu materialismo dialético). O próximo é outro casal: Nietzsche (1844-1900) (teoria do Super-homem) e Schopenhauer (1788-1860) (com seu absoluto pessimismo). Comte (1798-1857) com sua doutrina positivista, completará o quadro desses filósofos. Numa outra oportunidade, vamos desmembrar sobre o pensamento e principais ideias acerca desses autores. 8. OS FILÓSOFOS DO SÉCULO XX - Antes de tudo, há um autor que iluminou a filosofia do século XX: Edmund Husserl (1859-1938), fundador do método fenomenológico. Em seguida, existem dois fluxos que são derivados diretamente de Husserl, a saber, o existencialismo e a axiologia. Dentro da corrente axiológica, estudaremos Scheler (1874-2928). Por outro lado, o existencialismo tem quatro autores principais; dois são alemães: Heidegger (1889-1976) e Jaspers (1883-1969); e os demais são franceses: Sartre (1905-1980) e Marcel (1889-1973). Heidegger insiste em que seu tema tratado em sua filosofia não é a unicidade do homem, mas o ser em geral. Jaspers é famoso por seu conceito de transcendência (Deus). Sartre é um antiteísta sincero, e seu existencialismo é definido como um pensamento que assume todas as consequências da negação de Deus. Em contraste, Gabriel Marcel é um filósofo Católico, que conseguiu uma análise profunda das situações humanas, que aparecem em íntima concordância com as verdades cristãs. Vamos terminar com Russell (1872-1970), autor básico do positivismo lógico. Cronologia de filósofos e suas escolas até nossos dias ➢ Filosofia Antiga - Escola naturalista da Jônia: Tales, Anaximandro e Anaxímenes; - Escola matemática da Itália: Pitágoras e os pitagóricos; - Escola idealista de Eléia: Xenófanes (570-475 a.C.), Parmênides, Zenão (490/85-420 a.C.) e Meliso (h.443); - Escola empirista: Heráclito, Empédocles e Anaxágoras; - Escola atomista de Abdera: Leucipo (h.437) e Demócrito; - Escolas de Atenas: - Sofistas: Protágoras (480-410), Górgias (484-375?); Sócrates, Platão e Aristóteles; - Pirronismo: Pirro (h.365-h.275); - Estoicismo: Zenão de Cítio (359/33-262) e Crisipo (281/77-208); - Epicurismo: Epicuro (341-270); - Nova Academia: Arcesilau (315-241) e Carnéades (214-129); Romanos: Sêneca (4 a.C.-65 d.C.), Marco Aurélio (121-180) e Cícero (106-43). - Escola greco-judia: Fílon de Alexandria (25 a.C.-50 d.C.); - Neoplatonismo: Plotino (204/5-270), Porfirio (h.233-304), Jâmblico (h.250-330) e Proclo (h.411-485). ➢ Filosofia patrística - Apologistas: São Justino (100/10-165), Ireneu de Lyon (h.140-h.l 77) e Atenágoras (fines s. II); - Alexandrinos: São Clemente (h.145/50-215) e Orígenes (h.185-255); - Africanos: Tertuliano (h.160-230), Arnóbio (h.260-h.327) e Lactâncio (nascido h. 250); - Gregos: São Basílio (h.330-379), São Gregório de Nazianzo (330-390), São Gregório de Níssa (330-390) e Pseudo-Dionísio (h.500); - Latinos: São Hilário (h.315-367), Santo Ambrósio (333-397) e Santo Agostinho; - Outros: Claudiano (+h.473), Boécio (480-524), São Isidoro (h.560-633) e Beda (672/3-735). ➢ Filosofia Medieval/Escolástica - Judeus: Isaac Israeli (+h.940), Salomão Ibn Gabirol (h.l020-p.l058) e Maimônides (1135- 1204); - Árabes: Alquindi (h. 796-874), Al-Farabi (870-950), Avicena (980-1037), Algazali (1058- 1111) e Averróis (1126-1198); - Escola palatina: Alcuíno de Iorque (730/5-804), Rábano Mauro (h.784-856), Escoto Erígena (h.810-h.870) e Papa Silvestre II (+1003); - Dialéticos: Santo Anselmo (1033/4-1109) e Pedro Abelardo (1079-1142); - Tradutores: Domingo Gundisalvo (meados s. XII), Gerardo de Cremona (h. 1114-1187); - Enciclopedistas: Teodorico de Chartres (+1155), Hugo de São Vitor (+1141) e Vicente de Beauvais (+1264); - Universidades: Guilherme de Auvergne (1180- 1249) e Sigerio de Brabante (+h.l284); - Dominicanos: São Alberto Magno (1206-1280) e Santo Tomás de Aquino; - Franciscanos: Alexandre de Hales (1170/80-1245), São Boaventura (1217-1274), Roger Bacon (h.1210/14-1292), João Duns Escoto, Raimundo Lulio (1235-1315) e Guilherme de Ockham (h.1285-1349). ➢ Filosofia Moderna - Humanistas Renascentistas: Ficino (1433-1499), Erasmo (1467-1536), Maquiavel (1469- 1527), Thomas More (1480-1535), Juan Luis Vives (1492-1540) e Giordano Bruno (1548- 1600); - Racionalismo: Descartes, Malebranche, Espinosa e Leibniz; - Empiristas: Francis Bacon, Thomas Hobbes (1588-1679), Locke, Berkeley e Hume; - Escola escocesa: Thomas Reid (1710-1796); Iluministas: Voltaire (1694-1778), Condillac (1715-1757), Diderot (1713-1784) e J. J. Rousseau (1712-1778). - Idealismo transcendental: Kant; - Idealismo subjetivo: Fichte; - Idealismo objetivo: Schelling; - Idealismo absoluto: Hegel; - Pessimismo: Schopenhauer; - Ecletismo: Cousin (1792-1867); - Positivismo: A. Comte, J. S. Mill (1806-1873) e H. Spencer (1820-1900); - Socialismo: H. Saint-Simon (1760-1825), Ch. Fourier (1772-1837) e K. Marx; - Vitalismo: Nietzsche e W. Dilthey (1833-1912). ➢ Filosofia Contemporânea - Intucionismo: H. Bergson (1859-1941); - Pragmatismo: Ch. S. Peirce (1839-1914), W. James (1842-1910) e J. Dewey (1859-1952); - Fenomenologia: Husserl, Scheler, N. Hartmann (1882-1950) e M. Merleau-Ponty (1908- 1961); - Existencialismo: Jaspers, Heidegger, Marcel e Sartre; - Atomismo lógico: B. Russell (1872-1970) e L. Wittgenstein (1889-1951); - Positivismo lógico: M. Schlick (1882-1936), R. Carnap (1891-1970 ) e A. J. Ayer (1910- 1990). - Filosofia analítica: J. L. Austin (1911-1960), G. Ryle (1900-1976), W.V.O. Quine (1908- 2000), P. F. Strawson (1919-2003) e H. Putnam (1926-); - Hermenêutica: H. G. Gadamer (1900-2002), P. Ricoeur (1913-2007) e J. Habermas (1929-). - Estruturalismo e pós-estruturalismo: F. de Saussure (1857-1913), C. Lévi-Strauss (1908- 2009) e M. Foucault (1926-1984). - Filosofia pós-moderna: J. F. Lyotard (1924-1999), G. Deleuze (1925-1995), J. Derrida (1930- 2004), R. Rorty (1931-2007) e G. Vattimo (1936-). - Comunitaristas: A. Maclntyre (1929-), Ch. Taylor (1931-). REFERÊNCIAS BIBLIOGRÁFICAS CHAUÍ, M. Iniciação à Filosofia. Vol. Único. 2ª ed. São Paulo: Ática, 2013. 460 p. SANTOS, R. dos. Filosofia: Uma breve introdução. 1ª ed. Pelotas: Dissertativo Incipiens, 2014. 108 p. . Rua do Riachuelo, 303, Centro, Rio de Janeiro, RJ Casa Histórica de Osório CEP: 20230-011 E-mail: [email protected]. (shrink)

American History X (hereafter AHX) has been accused by numerous critics of a morally dangerous cinematic seduction: using stylish cinematography, editing, and sound, the film manipulates the viewer through glamorizing an immoral and hate-filled neo-nazi protagonist. In addition, there’s the disturbing fact that the film seems to accomplish this manipulation through methods commonly grouped under the category of “fascist aesthetics.” More specifically, AHX promotes its neo-nazi hero through the use of several filmic techniques made famous by Nazi propagandist Leni Riefenstahl. (...) Now most critics admit that, in the end, the film claims to denounce racism and attempts to show us the conversion of the protagonist to the path of righteousness, but they complain that nonetheless the film (perhaps unintentionally) ends up implicitly promoting the immoral worldview it rather superficially professes to reject in its final act. This charge of hypocrisy is connected to another worry: the moral conversion in the film is said to fall flat because the intellectual resources on display to support the character’s racism are not counterbalanced by equally explicit (but superior) arguments for the anti-racist position ultimately embraced by the character. In other words, just as the devil is said to get all the good lines in Milton’s Paradise Lost, in AHX the racists get all the arguments. This has been taken to be a morally problematic flaw of the film. Critics lament that Derek’s conversion seems to result not from relevant logical inferences and valid rational argumentation but from overly simplistic and arguably egoistic insights (e.g., “has anything you've done made your life better?”) combined, perhaps, with a hackneyed cliché (in prison, one of his best friends is a black person!) In this paper I’ll attempt to rebut these charges and defend the film as a powerful, and powerfully moral, work of art. I’ll be suggesting that the seductive techniques employed allow for many viewers a degree of sympathy towards the protagonist that is crucial, both for making that character’s more horrific actions especially unsettling, and also for making his eventual conversion plausible and ultimately compelling. I’ll also argue that the manner in which his conversion is presented is in fact subtler than many critics have allowed: Derek’s transformation is not artificial or implausible but is depicted as resulting from a cumulative series of emotionally powerful life events and personal engagements. It is certainly true that it is not represented in the way some would seemingly have preferred, i.e. as straightforwardly resulting from a process of gradual intellectual improvement in Derek’s reasoning on questions of race and politics. However, I’ll argue that the decidedly emotional basis of his moral evolution is both refreshingly realistic and no hindrance to accepting his conversion as rational. Finally, properly understanding the legitimacy of the emotional foundations of much moral thought will also allow us to appreciate the ways in which our initial worries about this film’s (not insignificant) ability to persuade viewers through the engagement of emotions need not, in itself, be seen as a barrier to endorsing the film as a morally praiseworthy work. (shrink)

This paper addresses a question concerning psycho­logical continuity, i.e., which features preserve the same psychological subject over time; this is not the same question as the one concerning the necessary and sufficient conditions for personal identity. Marc Slors defends an account of psychological continuity that adds two features to Derek Parfit’s Relation R, namely narrativity and embodiment. Slors’s account is a significant improvement on Parfit’s, but still lacks an explicit acknowledgment of a third feature that I call relationality. Because (...) they are usually regarded as cases of radical discontinuity, I start my discussion from the experiences of psychological disruption undergone by victims of severe violence and trauma. As it turns out, the challenges we encounter in granting continuity to the experiences of violence and trauma victims are germane to those we encounter in granting continuity to the experiences of subjects in non-traumatic contexts. What is missing in the most popular accounts of psychological continuity is an explicit acknowledgment of the links that tie our psychological lives to other subjects. A more persuasive notion of psychological continuity is not only embodied and narrative, as is Slors’s notion, but also explicitly relational. (shrink)

This article explores André-Marie Ampère's autobiography in order to analyse the dynamics of science in early 19th century French institutions. According to recent works that have emphasised the value of biographies in the history of science, this study examines Ampère's public self-representation to show the cultural transformations of a life dedicated to science in post-revolutionary French society. With this aim, I have interpreted this manuscript as an outstanding example of the scientific rhetoric flourishing in early 19th century French Romanticism, which (...) celebrated the life and works of men of science by means of biographies. Following this approach, Ampère's account has been analysed in relation to certain commonplaces shared with other autobiographies of that time, such as his traumatic experience linked to the French Revolution. Finally, this article discusses Ampère's autobiography as revealing an emerging model of scientific personae, i.e. a new collective way of thinking, feeling and perceiving, which announced the category of the modern scientist. (shrink)

Eric Olson and David Shoemaker argue that our numerical identity over time is irrelevant to such practical issues as moral responsibility or self-concern. Being the same individual at different moments in time may, in our case, can be seen as the preservation of the relevant biological processes (e.g., according to Olson), while psychological continuity, independent of these processes, may be crucial for such issues. I will defend the view that, contrary to the above authors, any conception of our diachronic identity (...) has ethical implications, at least with regard to the aforementioned issues. My argument has two basic assumptions. (1) The dispute over identity of persons is a dispute over the conditions of our persistence in time as the same individuals, whether we consider being a person as our essential property or not (e.g., Olson maintains the latter). The question is under what conditions I am the same as a particular earlier or later individual. (2) The pronoun “I,” on the other hand, is an essential component of practical reasoning, so also of ethical one. Thus, the debate on the persistence of persons concerns the identity conditions of the individuals to whom/which we refer when planning our future actions, formulating our intentions. My rational self-concern or my moral responsibility for past actions regards the individual to whom the pronoun refers. An additional result of my argument is to undermine the influential strategy of defending positions on our diachronic identity against the charge of controversial ethical implications. It cannot be argued in the case of every such controversy that a given ethical issue only apparently involves our identity, while in fact what is relevant to it is a different relation binding persons at different moments in time. (shrink)

The repugnant conclusion poses a conundrum in population ethics that has evaded satisfactory solution for more than four decades. In this article, I show that the repugnant conclusion can be avoided without sacrificing any moral intuitions. The resulting framework satisfies Parfit's requirements for `theory X'. This is achieved using non-Archimedean orders, which admit the possibility of pairs of goods for which no amount of one is better than a single unit of the other. I show with minimal assumptions, not only (...) are such goods sensible, they are compulsory. I show that utilitarianism and expected utility theory in their canonical forms are not in general suitable in this setting, and using these tools naively can lead to ethical errors that are arbitrarily serious. Multi-dimensional lexicographic expected utility representations are required. I use fuzzy sets to show there needn't be a clear boundary separating goods that are not Archimedean equivalent. This may be unavoidable due to intrinsic physical limits on the ability to discriminate between different goods arising from e.g. quantum mechanics. Limited discriminatory power causes preferences to be non-transitive, which can resolve problems related to so-called `fanaticism' and `recklessness' wherein `rational' decision-makers counterintuitively prefer arbitrary long shot bets to a guaranteed lesser outcome. (shrink)

There are many different oughts. There is a moral ought, a prudential ought, an epistemic ought, the legal ought, the ought of etiquette, and so on. These oughts can prescribe incompatible actions. What I morally ought to do may be different from what I self-interestedly ought to do. Philosophers have claimed that these conflicts are resolved by an authoritative ought, or by facts about what one ought to do simpliciter or all-things-considered. However, the only coherent notion of an ought simpliciter (...) has preposterous first-order normative commitments. It is more reasonable to reject the ought simpliciter in favor of the form of normative pluralism advocated in (Tiffany 2007). (shrink)

Is perception cognitively penetrable, and what are the epistemological consequences if it is? I address the latter of these two questions, partly by reference to recent work by Athanassios Raftopoulos and Susanna Seigel. Against the usual, circularity, readings of cognitive penetrability, I argue that cognitive penetration can be epistemically virtuous, when---and only when---it increases the reliability of perception.

The New Evil Demon Problem is supposed to show that straightforward versions of reliabilism are false: reliability is not necessary for justification after all. I argue that it does no such thing. The reliabilist can count a number of beliefs as justified even in demon worlds, others as unjustified but having positive epistemic status nonetheless. The remaining beliefs---primarily perceptual beliefs---are not, on further reflection, intuitively justified after all. The reliabilist is right to count these beliefs as unjustified in demon worlds, (...) and it is a challenge for the internalist to be able to do so as well. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

Can beliefs that are not consciously formulated serve as part of an agent's evidence for other beliefs? A common view says no, any belief that is psychologically immediate is also epistemically immediate. I argue that some unconscious beliefs can serve as evidence, but other unconscious beliefs cannot. Person-level beliefs can serve as evidence, but subpersonal beliefs cannot. I try to clarify the nature of the personal/subpersonal distinction and to show how my proposal illuminates various epistemological problems and provides a principled (...) framework for solving other problems. (shrink)

The axiological tenet of scientific realism, “science seeks true theories,” is generally taken to rest on a corollary epistemological tenet, “we can justifiably believe that our successful theories achieve (or approximate) that aim.” While important debates have centered on, and have led to the refinement of, the epistemological tenet, the axiological tenet has suffered from neglect. I offer what I consider to be needed refinements to the axiological postulate. After showing an intimate relation between the refined postulate and ten theoretical (...) desiderata, I argue that the axiological postulate does not depend on its epistemological counterpart; epistemic humility can accompany us in the quest for truth. Upon contrasting my axiological postulate against the two dominant non-realist alternatives and the standard realist postulate, I contend that its explanatory and justificatory virtues render it, among the axiologies considered, the richest account of the scientific enterprise. (shrink)

The scientific realism debate has now reached an entirely new level of sophistication. Faced with increasingly focused challenges, epistemic scientific realists have appropriately revised their basic meta-hypothesis that successful scientific theories are approximately true: they have emphasized criteria that render realism far more selective and, so, plausible. As a framework for discussion, I use what I take to be the most influential current variant of selective epistemic realism, deployment realism. Toward the identification of new case studies that challenge this form (...) of realism, I break away from the standard list and look to the history of celestial mechanics, with an emphasis on twentieth century advances. I then articulate two purely deductive arguments that, I argue, properly capture the historical threat to realism. I contend that both the content and form of these novel challenges seriously threaten selective epistemic realism. I conclude on a positive note, however, arguing for selective realism at a higher level. Even in the face of threats to its epistemic tenet, scientific realism need not be rejected outright: concern with belief can be bracketed while nonetheless advocating core realist tenets. I show that, in contrast with epistemic deployment realism, a purely axiological scientific realism can account for key scientific practices made salient in my twentieth century case studies. And embracing the realists favored account of inference, inference to the best explanation, while pointing to a set of the most promising alternative selective realist meta-hypothesis, I show how testing the latter can be immensely valuable to our understanding of science. (shrink)

In response to historical challenges, advocates of a sophisticated variant of scientific realism emphasize that theoretical systems can be divided into numerous constituents. Setting aside any epistemic commitment to the systems themselves, they maintain that we can justifiably believe those specific constituents that are deployed in key successful predictions. Stathis Psillos articulates an explicit criterion for discerning exactly which theoretical constituents qualify. I critique Psillos's criterion in detail. I then test the more general deployment realist intuition against a set of (...) well-known historical cases, whose significance has, I contend, been overlooked. I conclude that this sophisticated form of realism remains threatened by the historical argument that prompted it. A criterion for scientific realism Assessing the criterion A return to the crucial insight: responsibility A few case studies Assessing deployment realism. (shrink)

Is there one univocal or generic notion of ground? Monists answer yes, while pluralists answer no. Pluralists argue that monism cannot meet plausible constraints on an adequate theory of ground. My aim in this paper is to articulate a monist theory of ground that can satisfy the pluralist constraints in a way that leaves the pluralists with no reasons not to endorse the monist picture of ground. I do this by adopting a tripartite conception of ground and then showing that (...) it has the resources to vindicate monism while satisfying the pluralist constraints on a theory of ground. (shrink)

Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...) list of successes. I propose a related non-realist explanation of success that appears to be the most suitable among those considered. (shrink)

Many authors have proposed that grounding is closely related to metaphysical laws. However, we argue that no existing theory of metaphysical laws is sufficiently general. In this paper we develop a general theory of grounding laws, proposing that they are generative relations between pluralities of propositions and propositions. We develop the account in an essentialist language; this allows us to state precisely the sense in which grounding might be reduced to laws. We then put the theory to use in showing (...) how moral laws can play a role in grounding particular moral facts, in defending monism about ground, and in showing in what sense there is no gap between the grounds and the grounded. Finally, we make a novel proposal about what grounds facts about ground. (shrink)

Stewart Cohen argues that much contemporary epistemological theorizing is hampered by the fact that ‘epistemic justification’ is a term of art and one that is never given any serious explication in a non-tendentious, theory-neutral way. He suggests that epistemologists are therefore better off theorizing in terms of rationality, rather than in terms of ‘epistemic justification’. Against this, I argue that even if the term ‘epistemic justification’ is not broadly known, the concept it picks out is quite familiar, and partly because (...) it’s a term of art, justification talk is a better vehicle for philosophical theorizing. ‘Rational’ is too unclear for our philosophical purposes, and the fact that ‘epistemic justification’ gets fleshed out by appeal to substantive, controversial theses is no obstacle to its playing the needed role in epistemological theorizing. (shrink)

Broadly speaking, the contemporary scientific realist is concerned to justify belief in what we might call theoretical truth, which includes truth based on ampliative inference and truth about unobservables. Many, if not most, contemporary realists say scientific realism should be treated as ‘an overarching scientific hypothesis’ (Putnam 1978, p. 18). In its most basic form, the realist hypothesis states that theories enjoying general predictive success are true. This hypothesis becomes a hypothesis to be tested. To justify our belief in the (...) realist hypothesis, realists commonly put forward an argument known as the ‘no-miracles argument’. With respect to the basic hypothesis this argument can be stated as follows: it would be a miracle were our theories as successful as they are, were they not true; the only possible explanation for the general predictive success of our scientific theories is that they are true. (shrink)

For Malraux, modernity in art is not only about modern art; it is also about the birth of what he aptly terms “the first universal world of art.” This event was a consequence of the process of metamorphosis which is central to Malraux’s account of the relationship between art and time. The article explains this event, noting also that modern aesthetics has not provided an explanation. (This is the English version of the final which will be in French.).

I defend the thesis that most or all perceptual experiences are infused with imaginative contributions. While the idea is not new, it has few supporters. I begin by developing a framework for the underlying debate. Central to that framework is the claim that a perceptual experience is infused with imagination if and only if there are self-generated contributions to that experience that have ampliative effect on its phenomenal and directed elements. Self-generated ingredients to experience are produced by the subject as (...) opposed to being received from the world. Some form of stored content is an obvious starting point. Ampliative effects are aspects of perceptual experience that outstrip the content the senses get from the world. This conceptual framework is applied to three case studies: object-sameness and object-kind recognition (section 2), memory colour (section 3), and perceptual constancy and amodal completion (section 4). If the three cases and my overall analysis are accepted (a substantive if), then we have a forceful inductive argument for perception being infused with imagination. (shrink)

By creating certain marks on paper, or by making certain sounds-breathing past a moving tongue-or by articulation of hands and bodies, language users can give expression to their mental lives. With language we command, assert, query, emote, insult, and inspire. Language has meaning. This fact can be quite mystifying, yet a science of linguistic meaning-semantics-has emerged at the intersection of a variety of disciplines: philosophy, linguistics, computer science, and psychology. Semantics is the study of meaning. But what exactly is "meaning"? (...) What is the exact target of semantic theory? Much of the early work in natural language semantics was accompanied by extensive reflection on the aims of semantic theory, and the form a theory must take to meet those aims. But this meta-theoretical reflection has not kept pace with recent theoretical innovations. This volume re-addresses these questions concerning the foundations of natural language semantics in light of the current state-of-the-art in semantic theorising. (shrink)

This paper defends a conception of analysis on which analysis can be revisionary of ordinary or expert belief, without thereby changing meaning or replacing one concept with another. On this view, analyses play a role in determining not only what we will go on to mean, but also what we meant all along. The argument appeals to our epistemic engagement with revisionary theorising, focusing on Haslanger's ameliorative accounts of race and gender.

Cognitive penetration of perception is the idea that what we see is influenced by such states as beliefs, expectations, and so on. A perceptual belief that results from cognitive penetration may be less justified than a nonpenetrated one. Inferentialism is a kind of internalist view that tries to account for this by claiming that some experiences are epistemically evaluable, on the basis of why the perceiver has that experience, and the familiar canons of good inference provide the appropriate standards by (...) which experiences are evaluated. I examine recent defenses of inferentialism by Susanna Siegel, Peter Markie, and Matthew McGrath and argue that the prospects for inferentialism are dim. (shrink)

According to standard scientific realism, science seeks truth and we can justifiably believe that our successful theories achieve, or at least approximate, that goal. In this paper, I discuss the implications of the following competitor thesis: Any theory we may favor has competitors such that we cannot justifiably deny that they are approximately true. After defending that thesis, I articulate three specific threats it poses for standard scientific realism; one is epistemic, the other two are axiological (that is, pertaining to (...) the claim that science seeks truth). I also flag an additional axiological “challenge,” that of how one might justify the pursuit of a primary aim, such as truth. Bracketing epistemic realism, I argue that the axiological threats can be addressed by embracing a refined realist axiological hypothesis, one that specifies a specific subclass of true claims sought in science. And after identifying three potential responses to the axiological “challenge,” I contend that, while standard axiological realism appears to lack the resources required to utilize any of the responses, the refined realist axiology I embrace is well suited to each. (shrink)

Normative discourse frequently involves explanation. For example, we tell children that hitting is wrong because it hurts people. In a recent paper, Selim Berker argues that to account for this kind of explanation, expressivists need an account of normative grounding. Against this, I argue that expressivists should eschew grounding and stick to a more pragmatic picture of explanation, one that focuses on how we use explanatory speech acts to communicate information. I propose that the standard form of a normative explanation (...) is a generalizing explanation, one which shows a particular moral injunction to follow from a more general injunction. I use Marc Lange’s account of unifying explanations in mathematics as a model for the canonical form of a normative explanation, but also to establish that logical entailment can be explanatory, so long as premises entailing the conclusion answer appropriately to our interests. An additional upshot of the resulting view is that it paves the way for a purely metaphysical solution to the problem of creeping minimalism. Quasireal properties are those that, unlike real properties, stand outside of the metaphysical hierarchy of grounding relations. (shrink)

Imagination is a source of evidence for objective modality. It is through this epistemic connection that the idea of modality first gains traction in our intellectual life. A proper theory of modality should be able to explain our imagination’s modal epistemic behaviors. This chapter highlights a peculiar asymmetry regarding epistemic defeat for imagination-based modal justification. Whereas imagination-based evidence for possibility cannot be undermined by information about the causal origin of our imaginings, unimaginability-based evidence for impossibility can be undermined by information (...) about the causal origin of the unimaginability. It is argued that an acceptance of S4 over S5 as the true logic for objective modality best explains this epistemic asymmetry. (shrink)

Mental content normativists hold that the mind’s conceptual contents are essentially normative. Many hold the view because they think that facts of the form “subject S possesses concept c” imply that S is enjoined by rules concerning the application of c in theoretical judgments. Some opponents independently raise an intuitive objection: even if there are such rules, S’s possession of the concept is not the source of the enjoinment. Hence, these rules do not support mental content normativism. Call this the (...) “Source Objection.” This paper refutes the Source Objection, outlining a key strand of the relationship between judgments and their contents in the process. Theoretical judgment and mental conceptual content are equally the source of enjoinment; norms for judging with contents do not derive from one at the expense of the other. (shrink)

This paper explores the feasibility of offering a restorative justice (RJ) approach in cases of domestic violence (DV). I argue that widely used RJ processes—such as ‘conferencing’—are unlikely to be sufficiently safe or effective in cases of DV, at least as these processes are standardly designed and practiced (Sections 1-6). I then support the view that if RJ is to be used in cases of DV, then new specialist processes will need to be co-designed with key stakeholders to ensure they (...) embody not only RJ principles, but also feminist theory and the concept of transformative justice (Section 7). (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

There has been recent work on acedia and its relationship to depression, but the results are a mixed bag. In this essay, I engage some recent scholarship comparing acedia with depression, endeavouring to clarify the concept of acedia using literature from theology, philosophy, psychiatry, and even a 16th-century treatise on witchcraft. Along the way, I will show the following key theses. First, the concept of acedia is not identical to the concept of depression. Acedia is not merely a primitive psychological (...) predecessor to depression, but it marks off significantly different ways of being, not least because of one’s spiritual relation to God. As Lucrèce Luciani-Zidane (2009: 13) has said, “acedia is entangled in the heart (or life) of Christian dogma.” Second, however, it is still possible that an instance of acedia can coincide with an instance of depression, if one’s condition, or state, is such that each term can be correctly and truthfully applied. By the conclusion of this piece, I begin to explore what practical implications this view has for practitioners and laypersons. (shrink)